Linear Differential Operators for Polynomial Equations
نویسندگان
چکیده
The results of this paper spring from the elementary fact that an algebraic function satisfies a linear differential equation. Let k0 be a number field and k0 be its algebraic closure. Let P ∈ k0(x)[y] be a squarefree polynomial of degree n in y. The derivation δ = d dx extends uniquely to the algebraic closure k0(x) of k0(x). We define the minimal operator associated with P to be the monic differential operator LP = δ + at−1δ + · · · + a0 with ai ∈ k0(x) of smallest positive order such that LP (y) = 0 for all roots of P in k0(x). In Section 2, we give algorithms to calculate this operator. In Section 3, we assume that P is absolutely irreducible, that is, irreducible over k0(x). We show that information derived from the singular points of the minimal operator allows one to give a simple formula (and direct method) to calculate the genus of P = 0. In Section 4 we give two methods to factor a polynomial P ∈ k0(x)[y] over k0(x). Together with the algorithm in Section 3, this yields a new polynomial time algorithm for this task. In Section 5, we discuss how the minimal operator allows us to find properties of the Galois groups of P over k0(x) and over k0(x). In the appendix we
منابع مشابه
Solutions for some non-linear fractional differential equations with boundary value problems
In recent years, X.J.Xu [1] has been proved some results on mixed monotone operators. Following the paper of X.J.Xu, we study the existence and uniqueness of the positive solutions for non-linear differential equations with boundary value problems.
متن کاملPolynomial Solutions and Annihilators of Ordinary Integro-Differential Operators ?
In this paper, we study algorithmic aspects of linear ordinary integro-differential operators with polynomial coefficients. Even though this algebra is not noetherian and has zero divisors, Bavula recently proved that it is coherent, which allows one to develop an algebraic systems theory. For an algorithmic approach to linear systems theory of integro-differential equations with boundary condi...
متن کاملPolynomial and Rational Solutions of Holonomic Systems
Polynomial and rational solutions for linear ordinary differential equations can be obtained by algorithmic methods. For instance, the maple package DEtools provides efficient functions polysols and ratsols to find polynomial and rational solutions for a given linear ordinary differential equation with rational function coefficients. A natural analogue of the notion of linear ordinary different...
متن کاملQuasi - Exactly - Solvable Differential Equations
A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis is given. The main result is that any operator with the above property must have a representation as a polynomial element of the universal enveloping algebra of the algebra of differential (difference) operators in finitedimensional represent...
متن کاملStructure Theorems for Linear and Non-linear Differential Operators Admitting Invariant Polynomial Subspaces
In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful concept of deficiency, we can write explicit basis for these spaces of differential operators. In the case of linear operators, these results apply to the th...
متن کاملTheory of Hybrid Fractional Differential Equations with Complex Order
We develop the theory of hybrid fractional differential equations with the complex order $thetain mathbb{C}$, $theta=m+ialpha$, $0<mleq 1$, $alphain mathbb{R}$, in Caputo sense. Using Dhage's type fixed point theorem for the product of abstract nonlinear operators in Banach algebra; one of the operators is $mathfrak{D}$- Lipschitzian and the other one is completely continuous, we prove the exis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 34 شماره
صفحات -
تاریخ انتشار 2002